Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·8h
📋Protocol Buffers
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·19h·
Discuss: DEV
🦀Rust Borrowing
Encrypting identifiers in practice
sjoerdlangkemper.nl·9h
🌊Stream Ciphers
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·6h
🗃️Database Storage
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Program Execution, follow-up
windowsir.blogspot.com·2h·
Discuss: www.blogger.com
⚡Performance Tools
Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🌊Streaming Compression
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·10h
🔍Type Inference
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·18h·
Discuss: Hacker News
🕸️WebP Analysis
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·18h
🔄Burrows-Wheeler
Counting with Categories (Part 3)
golem.ph.utexas.edu·23h
λLambda Formalization
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5h·
Discuss: Hacker News
🌀Brotli Internals
The Guide to the Foundation Models Framework
azamsharp.com·1h·
Discuss: Hacker News
λLambda Formalization
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Field Sensitive Escape Analysis in Golang?
reddit.com·9h·
Discuss: r/golang
🧠Lisp Dialects
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs